Substitusi adalah transformasi sintaksis pada ekspresi formal. Menerapkan substitusi pada suatu ekspresi berarti mengganti simbol variabel atau penggantinya dengan ekspresi lain secara konsisten.
Ekspresi yang dihasilkan disebut contoh substitusi, atau singkatnya contoh, dari ekspresi asli.
